5

Combining Theorem Proving with Model Checking through Predicate Abstraction

Year:
2007
Language:
english
File:
PDF, 575 KB
english, 2007
9

Evaluating and Assessing for Learningby Duncan Harris; Chris Bell

Year:
1987
Language:
english
File:
PDF, 294 KB
english, 1987
10

A noisome business‐the trepang trade and Queensland

Year:
1981
Language:
english
File:
PDF, 776 KB
english, 1981
11

Assessment procedures in schools: an NFER project

Year:
1985
Language:
english
File:
PDF, 521 KB
english, 1985
18

Shadows on the Landscape: An Inquiry into the Value of Some Australian Places

Year:
2016
Language:
english
File:
PDF, 1.32 MB
english, 2016
21

Specification and Verification of Concurrent Programs Through Refinements

Year:
2013
Language:
english
File:
PDF, 787 KB
english, 2013
23

Testing Pupils: possibilities and probabilities

Year:
1989
Language:
english
File:
PDF, 718 KB
english, 1989
24

The Fluid Travel Log

Year:
1964
Language:
english
File:
PDF, 875 KB
english, 1964